TSTP Solution File: DAT233^1 by CiME---2.01